- countable theory
- мат.счётная теория
English-Russian scientific dictionary. 2008.
countable theory
Смотреть что такое "countable theory" в других словарях:
Countable set — Countable redirects here. For the linguistic concept, see Count noun. Not to be confused with (recursively) enumerable sets. In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of… … Wikipedia
theory — theo‧ry [ˈθɪəri ǁ ˈθiːəri] noun theories PLURALFORM 1. [countable] an idea or set of ideas that is intended to explain why something happens or how it works: theory of • The book is called An Evolutionary Theory of Economic Change . • The theory… … Financial and business terms
Countable chain condition — See also: Forcing (set theory)#The countable chain condition In order theory, a partially ordered set X is said to satisfy the countable chain condition, or to be ccc, if every strong antichain in X is countable. There are really two conditions:… … Wikipedia
theory */*/*/ — UK [ˈθɪərɪ] / US [ˈθɪərɪ] noun Word forms theory : singular theory plural theories 1) [countable] one or more ideas that explain how or why something happens The theory predicts low speeds and therefore safety. theory that: He had a theory that… … English dictionary
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Spectrum of a theory — In model theory, a branch of mathematical logic, the spectrum of a theory is given by the number of isomorphism classes of models in various cardinalities. More precisely, for any complete theory T in a language we write I(T, α) for the number of … Wikipedia
Complete theory — In mathematical logic, a theory is complete if it is a maximal consistent set of sentences, i.e., if it is consistent, and none of its proper extensions is consistent. For theories in logics which contain classical propositional logic, this is… … Wikipedia
Large countable ordinal — In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals. The smallest ones can be usefully and non circularly expressed in terms of their Cantor normal forms. Beyond that, many ordinals of… … Wikipedia
Stable theory — For differential equations see Stability theory. In model theory, a complete theory is called stable if it does not have too many types. One goal of classification theory is to divide all complete theories into those whose models can be… … Wikipedia
Omega-categorical theory — In mathematical logic, an omega categorical theory is a theory that has only one countable model up to isomorphism. Omega categoricity is the special case κ = = ω of κ categoricity, and omega categorical theories are also… … Wikipedia
